iterator's type, any's type
Source: /avail/Avail/Data Abstractions/Iterators/Positionable Iterators
Categories: Data Abstractions, Iterators
Construct and answer a positionable iterator type from the specified iterator type and statically computed position type.
We statically compute the position type, since passing something more specific than the static type would lead to a violation of intravariance of the position type (technically just the contravariance aspect due to the need to write to the position variable).
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | iteratorType | iterator's type | An iterator type. | |
| 2 | positionType | any's type | The statically computed type of position memento used by iterators of the answered type. | |
| Returns | positionable iterator's type | The requested iterator type. | ||